View Javadoc
   package jrre.gui;
   
   import java.awt.event.WindowEvent;
   import java.awt.event.WindowAdapter;
   import javax.swing.*;
   import java.awt.*;
   
   
   public class WindowDestroyer extends WindowAdapter{
  	
          public void windowClosing(WindowEvent e){
  	    
           System.exit(0);
  	    }
  }